Information encoding by shortened Reed-Solomon codes

ABSTRACT

The present invention concerns an encoding method in which encoding is performed of any information word a of length k in the form of a word ν belonging to a Reed-Solomon code C of dimension k′ and length n′ (with n′−k′=n−k) such that the components of ν′ situated in (n′−n) arbitrary predetermined positions be systematically equal to respective predetermined constants (for example, all zero). The possibility then exists of deleting those components of fixed value to obtain a word ν of length n belonging to a code C, which thus constitutes a code that is shortened with respect to code C. The invention also relates to devices and apparatuses adapted to implement the encoding method. The invention may be used for encoding by means of an algebraic geometric code, when such encoding may be implemented by encoding by means of a plurality of shortened Reed-Solomon codes.

This application is a National Stage Filing Under 35 U.S.C. §371 of International Application No. PCT/IB2004/002623, filed Jul. 21, 2004, and published in English as International Publication No. WO 2005/008900, Jan. 27, 2005.

The present invention concerns communication systems in which the data to be transmitted are subjected to a channel encoding in order to improve the fidelity of the transmission. It concerns more particularly decoding methods as well as the devices and apparatuses adapted to implement those methods.

It will be recalled that so-called “channel” encoding consists, when the “codewords” sent to the receiver are formed, of introducing a certain amount of redundancy in the data to be transmitted. More particularly, by means of each codeword, the information is transmitted that is initially contained in a predetermined number k of symbols taken from an “alphabet” of finite size q; on the basis of these k information symbols, calculation is made of a number n>k of symbols belonging to that alphabet, which constitute the components of the codewords: ν≡(ν₀, ν₁, . . . , ν_(n−1)) (the symbol “≡” means “by definition”). The set of codewords obtained when each information symbol takes some value in the alphabet constitutes a sort of dictionary referred to as a “code” of “dimension” k and “length” n.

In particular, certain codes, termed “linear codes” are such that any linear combination of codewords (with the coefficients taken from the alphabet) is still a codeword. These codes may conveniently be associated with a matrix H of dimension (n−k)×n, termed “parity matrix”: a word ν of given length n is a codeword if, and only if, it satisfies the relationship: H·ν^(T)=0 (where the exponent T indicates the transposition); the code is then said to be “orthogonal” to the matrix H.

Among these linear codes, certain have the property of being “cyclic”: for any given codeword (ν₀, ν₁, . . . , ν_(n-1)), the word (ν_(n-1), ν₀, ν₁, . . . , ν_(n-2)) obtained by cyclic permutation is a word of the same code. The words belonging to a cyclic linear code may conveniently be represented by means of polynomials: if the polynomial

${v(x)} \equiv {\sum\limits_{i = 0}^{n - 1}{v_{i}x^{i}}}$ is made to correspond to some word ν=(ν₀, ν₁, . . . , ν_(n−1)), a given word ν belongs to a given cyclic linear code if, and only if, the corresponding polynomial ν(x) is a multiple of a certain polynomial g(x), of degree (n−k) and divisor of (x^(n)−1), termed “generator polynomial” of the cyclic linear code which characterizes it. Moreover a parity matrix H can be associated with any generator polynomial g(x).

At the receiver, the decoding method correlative to a given encoding method judiciously exploits the redundancy incorporated in the codewords to detect any transmission errors and if possible to correct them. There is a transmission error if the difference e between a received word r and the corresponding codeword ν sent by the transmitter is non-zero.

More particularly, the decoding is carried out in two main steps.

The first step consists of associating an “associated codeword” with the received word. Conventionally, the decoder first of all calculates the vector of “error syndromes” H·r^(T)=H·e^(T). If the syndromes are all zero, it is assumed that no transmission error has occurred, and the “associated code word” will then simply be taken to be equal to the received word. If that is not the case, it is thereby deduced that certain symbols in the received word are erroneous, and a correction algorithm is then implemented which is adapted to estimate the value of the error e; the algorithm will thus provide an estimated value ê such that (r−ê) is a codeword, which will then constitute the “associated codeword”.

The second step simply consists in reversing the encoding method. In the ideal situation in which all the transmission errors have been corrected, the initial information symbols are thereby recovered.

The purpose of an error correction algorithm is to associate with the received word the codeword situated at the shortest Hamming distance from that received word, the “Hamming distance” being, by definition, the number of places where two words of the same length have a different symbol. The shortest Hamming distance between two different codewords of a code is termed the “minimum distance” d of that code. This is an important parameter of the code. More particularly, it is in principle possible to find the position of the possible errors in a received word, and to provide the correct replacement symbol (i.e. that is identical to that sent by the transmitter) for each of those positions, each time the number of erroneous positions is at most equal to INT[(d−1)/2] (where “INT” designates the integer part) for a code of minimum distance d (for certain error configurations, it is sometimes even possible to achieve better). However, in all cases, the concern is not with a possibility in principle, since it is often difficult to develop a decoding algorithm achieving such performance.

The present invention concerns in particular “Reed-Solomon” codes, which are reputed for their efficiency. These are cyclic linear codes, of which the minimum distance d is equal to (n−k+1). In general terms, codes of dimension k and of length n having a minimum distance d=n−k+1 are termed “MDS” (for “Maximum Distance Separable”) since they are codes of which the minimum Distance allows a Maximum Separation between the codewords, account taken of the parameters k and n).

When the size q of the “alphabet” is a power of a prime number, the alphabet can be given the structure of what is known as a “Galois field” denoted F_(q), of which the non-zero elements may conveniently be identified as each being equal to γ^(i−1) for a corresponding value of i, where i=1, . . . , q−1, and where γ is a primitive (q−1)^(th) root of unity in F_(q).

The parity matrix H of the Reed-Solomon code of dimension k and of length n (where n is necessarily equal to (q−1) or a divisor of (q−1)) is a matrix with m≡n−k lines and n columns, which may be defined for example by taking H_(ij)=α^((i+1)j) (0≦i≦m−1, 0≦j≦n−1), where α is an n^(th) root of unity in F_(q). The generator polynomial of this code is

${g(x)} = {\prod\limits_{i = 1}^{m}\;{\left( {x - \alpha^{i}} \right).}}$

Among the algorithms known for encoding a sequence a=(a₀, a₁, . . . , a_(k−1)) of information symbols belonging to F_(q) by means of a Reed-Solomon code, certain use that parity matrix H. In these algorithms, a certain relationship is chosen between the information symbols and those of the corresponding codeword ν (for example ν_(i)=a_(i) for 0≦i≦k−1; in this case, the encoding is said to be “systematic”). Next the components of ν remaining to be determined are calculated using the matrix equation H·ν^(T)=0 it is thus necessary to solve (n−k) linear equations on F_(q), which constitutes a relatively complex calculation. Other encoding methods use the divisibility of the polynomial ν(x) by the polynomial generator g(x); this is in particular the case of the so-called “Euclidean” algorithm, of which the operation will be described in detail below, and which requires calculations which are appreciably less complex than the algorithms just mentioned using the parity matrix H.

To decode Reed-Solomon codes, a so-called “Berlekamp-Massey” algorithm is usually employed for the detection of the erroneous positions in a received word, and a so-called “Forney” algorithm for the correction of the corresponding erroneous symbols. For more details on Reed-Solomon codes, reference may for example be made to the work by R. E. Blahut entitled “Theory and practice of error-control codes”, Addison-Wesley, Reading, Mass., 1983).

Like all codes, Reed-Solomon codes may be “shortened”. It is said that a code C of length n, is a “shortened” version of a code C′ of length n′, if it comprises solely the words ν′ of C of which, for a number R of predetermined positions, the components are all zero: as these positions are known to the receiver, their transmission can be obviated, such that the length of the shortened code is n=n′−R. When C′ is an “MDS” code as defined above, this amounts to encoding information sequences of reduced length k=k′−R=k′−n′+n (where k′ designates the dimension of the code C′) by means of the shortened code C, while however keeping the same redundancy m≡n′−k′=n−k.

It will be noted that shortened Reed-Solomon codes have recently increased in importance due to the fact that encoding by means of a new, very efficient, type of code, termed “algebraic geometric code” may, in certain cases, be conveniently reduced to encoding by means of a plurality of shortened Reed-Solomon codes (for an introduction to algebraic geometric codes, reference may for example be made to the article by J. H. van Lint entitled “Algebraic Geometric Codes” in “Coding Theory and Design Theory” 1st part, IMA Volumes Math. Appl., volume 21, Springer-Verlag, Berlin, 1990). An encoding method of that type is disclosed in the application FR-0301546 in the name of CANON.

In will be noted in passing that when it is intended to delete certain components of the codewords, it matters little if the fixed values of those components be all zero; they may possibly each have some predetermined value.

Clearly, a shortened Reed-Solomon code is still a linear code, but it is no longer a cyclic code. In order to form, on the basis of a sequence of information, a codeword belonging to a shortened Reed-Solomon code, it is naturally possible to implement an algorithm utilizing the parity matrix H′ of the code H′. it suffices to assign the value zero (or a predetermined respective constant) to said predetermined components of ν′ in the equations represented by H′·ν′^(T)=0. However, as has been stated, that algorithm utilizing the parity matrix necessitates complex calculations.

It would thus be desirable to be able to perform that encoding using a less complex algorithm, for example the Euclidean algorithm. Unfortunately, that algorithm does not enable a predetermined value (even zero) to be imposed in a natural manner on certain predetermined components of the codeword to be calculated. Without entering into details, it will simply be noted here that certain manipulations of polynomials are known making it possible to adapt the Euclidean algorithm to meet that requirement, but solely in the case in which said predetermined positions of the word ν′ are consecutive. This is however insufficient for example in the case of applications to the geometric algebraic codes concerned in the application FR-0301546 mentioned above, in which the components deleted by virtue of the shortening of a Reed-Solomon code are not necessarily consecutive.

According to another point of view, it is known to “puncture” the codewords at transmission: puncturing consists of dispensing with the transmission of certain predetermined components, whatever the value (not predetermined in this case) of those components. The drawback of puncturing with respect to shortening is that the components deleted by puncturing include a portion of the redundancy provided by the channel encoding. An irrecoverable loss of that redundancy thus ensues.

Thus, according to a first aspect, the invention relates to a method of encoding over a Galois field F_(q), where q is an integer greater than 2 and equal to a power of a prime number, in which a word ν′=(ν′₀, ν′₁, . . . , ν′_(n′−1)) is calculated, where n′≧3, belonging to an “MDS” linear cyclic code C′ of dimension (n′−m), where 1≦m≦n′−2, on the basis of a word a=(a₀, a₁, . . . , a_(n−m−1)) of information symbols, where m<n<n′. A set s=(s₀, s₁, . . . , s_(n−1)) of strictly increasing integers, with s₀≧0 and s_(n−1)≦n′−1, having been predetermined, said method comprises the following steps:

a) forming the polynomial

${{a(x)} \equiv {\sum\limits_{i = m}^{n - 1}{a_{i - m}x^{s_{i}}}}},$

b) calculating the remainder r(x) of the Euclidean division of a(x) by the polynomial

${g(x)} \equiv {\sum\limits_{p = 0}^{m}{g_{p}x^{p}}}$ generating said code C′,

c) calculating the polynomial

${{v^{*}(x)} = {{{a(x)} - {r(x)}} \equiv {\sum\limits_{i = 0}^{n^{\prime} - 1}{v_{i}^{*}x^{i}}}}},$ corresponding to the word ν*=(ν*₀, ν*₁, . . . , ν*_(n′−1)), and

d) taking ν′=ν* if s_(m−1)=m−1; otherwise obtaining said word ν′ by taking:

$\begin{matrix} {{{\underset{\_}{v}}^{\prime} = {{\underset{\_}{v}}^{*} + {\sum\limits_{j = 0}^{s_{m} - m - 1}{f_{j}{\underset{\_}{\Gamma}}^{j}}}}},} & (1) \end{matrix}$ in which the words Γ^(j) of length n′ are defined by: Γ^(j) _(i=g) _(i−j) for j≦i≦j+m, and Γ^(j) _(i=)0 otherwise, and in which the elements f_(j) of F_(q) are calculated by means of the equations (1) in which, for the (s_(m)−m) values of i<s_(m) not belonging to the set s, each component ν′_(i) is taken equal to a respective predetermined constant.

Thus, according to the invention, encoding is performed of any information word a of length k in the form of a word ν′ belonging to a Reed-Solomon code C′ of dimension k′ and length n′ (with n′−k′=n−k) such that the components of ν′ situated in (n′−n) arbitrary predetermined positions be systematically equal to respective predetermined constants (for example, all zero).

It will be noted that the method according to the invention is advantageously simple to implement. This is because on the one hand the method utilizes the Euclidean algorithm which is, as has been stated, of low complexity in comparison to an encoding on C′ explicitly relying on a parity matrix H′. On the other hand, the method according to the invention comprises solving a system of linear equations having the coefficients f_(j) as unknowns; however, as will be seen below on the basis of example embodiments, the dimension of that system of equations is generally only a few units.

Further to the steps succinctly stated above, it will naturally be possible to delete those components of fixed value to obtain a word ν of length n belonging to a code C, which thus constitutes a code that is shortened with respect to code C′. By virtue of the invention, as the components of predetermined positions take, after encoding in C′, a value fixed in advance, their deletion to form words of the shortened code C will not lead to any loss in redundancy.

For certain applications, it may be worthwhile to “modify” code C. A code C^(B) is a “modified” version of a code C of length n if there is a square non-singular diagonal n×n matrix B such that each word v^(B) of C^(B) is equal to v·B with v in C. Therefore in the case in which it is desired to encode information symbols by means of words belonging to code C^(B) rather than to code C, the following procedure will be followed:

Let β_(i) denote the element of B in position (i,i). Said procedure then comprises:

-   -   constructing, on the basis of the information symbols, the         polynomial

${{a^{B}(x)} \equiv {\sum\limits_{i = m}^{n - 1}{a_{i - m}\beta_{s_{i}}^{- 1}x^{s_{i\;}}}}},$

-   -   implementing steps b), c) and d) of the method according to the         invention, by replacing a(x) with a^(B)(x), which gives a word         ν′^(B),     -   deleting the components of predetermined value from ν′^(B),         which gives a word ν^(B)=(ν^(B) ₀, ν^(B) ₁, . . . , ν^(B)         _(n−1)), and     -   calculating the word ν=(ν₀, ν₁, . . . , ν_(n−1)) defined by:         ν_(i)=ν^(B) _(iβ) _(i) for all i from 0 to (n−1).

According to particular features of the invention, n′ is equal to (q−1) or is a divisor of (q−1), and

${{g(x)} = {\prod\limits_{i = 1}^{m}\;\left( {x - \alpha^{i}} \right)}},$ where α is an element of F_(q) satisfying α^(n′)=1. In this case, the code C′ is thus a Reed-Solomon code, and C is a shortened Reed-Solomon code. This particular case of “MDS” linear cyclic code may in particular be useful for encoding by means of a complex code of which at least the encoding or the decoding may be reduced, in a certain manner, to the encoding or decoding of at least one shortened Reed-Solomon code. The present invention may thus, for example, be applied to the method disclosed in application FR-0301546, mentioned above, in which said complex code is an algebraic geometric code.

More generally, still according to the same first aspect, the invention relates to a method of encoding for algebraic geometric codes, comprising at least one step in which codewords belonging to a shortened “MDS” linear cyclic code are calculated, said method being remarkable in that said calculation is performed by means of any one of the encoding methods succinctly described above.

According to a second aspect, the invention relates to a device for encoding over a Galois field F_(q), where q is an integer greater than 2 and equal to a power of a prime number, in which a word ν′=(ν′₀, ν′₁, . . . , ν′_(n′−1)) is calculated, where n′≧3, belonging to an “MDS” linear cyclic code C′ of dimension (n′−m), where 1≦m≦n′−2, on the basis of a word a=(a₀, a₁, . . . , a_(n−m−1)) of information symbols, where m<n<n′. A set s=(s₀, s₁, . . . , s_(n−1)) of strictly increasing integers, with s₀≧0 and s_(n−1)≦n′−1, having been predetermined, said device is adapted to:

a) form the polynomial

${{a(x)} \equiv {\sum\limits_{i = m}^{n - 1}{a_{i - m}x^{s_{i}}}}},$

b) calculate the remainder r(x) of the Euclidean division of a(x) by the polynomial

${g(x)} \equiv {\sum\limits_{p = 0}^{m}{g_{p}x^{p}}}$ generating said code C′,

c) calculate the polynomial

${{v^{*}(x)} = {{{a(x)} - {r(x)}} \equiv {\sum\limits_{i = 0}^{n^{\prime} - 1}{v_{i}^{*}x^{i}}}}},$ corresponding to the word ν*=(ν*₀, ν*₁, . . . , ν*_(n′−1)), and

d) take ν′=ν* if s_(m−1)=m−1; otherwise to obtain said word ν′ by taking:

$\begin{matrix} {{{\underset{\_}{v}}^{\prime} = {{\underset{\_}{v}}^{*} + {\sum\limits_{j = 0}^{s_{m} - m - 1}{f_{j}{\underset{\_}{\Gamma}}^{j}}}}},} & (1) \end{matrix}$ in which the words Γ^(j) of length n′ are defined by: Γ^(j) _(i)=g_(i−j) for j≦i≦j+m, and Γ^(j) _(i)=0 otherwise, and in which the elements f_(j) of F_(q) are calculated by means of the equations (1) in which, for the (s_(m)−m) values of i<s_(m) not belonging to the set s, each component ν′_(i) is taken equal to a respective predetermined constant.

According to particular features, n′ is equal to (q−1) or is a divisor of

$\left( {q - 1} \right),{{{and}\mspace{14mu}{g(x)}} = {\prod\limits_{i = 1}^{m}\;\left( {x - \alpha^{i}} \right)}},$ where α is an element of F_(q) satisfying α^(n′)=1.

According to a third aspect, the invention also relates to various apparatuses.

Thus, firstly, the invention concerns an apparatus for processing data comprising a source of information symbols, said apparatus being remarkable in that it further comprises:

-   -   a storage unit adapted to accumulate said symbols so as to form         codewords a each containing a predetermined number k of symbols,     -   an encoding device as described succinctly above, and     -   a transmitter adapted to transmit the words ν′ resulting from         the encoding of said information symbols.

Secondly, the invention concerns an apparatus for processing data comprising a source of information symbols, said apparatus being remarkable in that it further comprises:

-   -   a storage unit adapted to accumulate said symbols so as to form         codewords a each containing a predetermined number k of symbols,     -   an encoding device as described succinctly above,     -   a shortening unit adapted to delete said components of         predetermined value from ν′, so as to form a word ν of length n,         and     -   a transmitter adapted to transmit the words ν resulting from the         encoding of said information symbols.

The invention also relates to:

-   -   a non-removable data storage means comprising computer program         code instructions for the execution of the steps of any one of         the encoding methods succinctly described above,     -   a partially or wholly removable data storage means comprising         computer program code instructions for the execution of the         steps of any one of the encoding methods succinctly described         above, and     -   a computer program containing instructions such that, when said         program controls a programmable data processing device, said         instructions lead to said data processing device implementing         one of the encoding methods succinctly described above.

The advantages of that encoding device, those data processing apparatuses, those data storage means and that computer program are essentially the same as those of the corresponding encoding methods succinctly described above.

Other aspects and advantages of the invention will emerge from a reading of the following detailed description of particular embodiments, given by way of non-limiting example. The description refers to the accompanying drawings, in which:

FIG. 1 is a block diagram of a system for encoding information symbols according to an embodiment of the invention, and

FIG. 2 shows a data processing apparatus comprising an encoder according to the invention;

FIG. 1 is a block diagram of an encoding system according to an embodiment of the invention.

The function of this system is to encode information of any nature from a source 100. First of all, the source 100 puts this information into the form of symbols belonging to a certain alphabet (for example bytes of bits in the case in which the size q of the alphabet is 256), and transmits these symbols to a storage unit 101, which accumulates the symbols so as to form sets each containing k symbols. Next, each of these sets is transmitted by the storage unit 101 to an encoding unit 102 which constructs a “pre-encoded” word ν′ belonging to a certain Reed-Solomon code (in the strict sense) C′.

It will now be recalled how the so-called “Euclidean” encoding algorithm operates for a cyclic linear code of length n and polynomial generator g(x), of degree m=n−k.

Firstly, on the basis of the sequence a=(a₀, a₁, . . . , a_(k−1)) of information symbols, there is formed the polynomial

${a(x)} \equiv {\sum\limits_{i = m}^{n - 1}{a_{i - m}{x^{i}.}}}$

Next a(x) is divided by g(x), which is written: a(x)=q(x)g(x)+r(x), where q(x) designates the quotient, and in which the degree of the remainder r(x) is strictly less than m. If we then take ν(x)≡a(x)−r(x), it can be seen that ν(x) is a multiple of g(x), and thus truly represents a word ν belonging to the code. Explicitly, if we write

${r(x)} \equiv {\sum\limits_{i = 0}^{m - 1}{r_{i}{x^{i}.}}}$ the codeword obtained by this Euclidean algorithm is ν=(−r ₀ , . . . ,−r _(m−1) ,a ₀ ,a ₁ , . . . ,a _(k−1)). Among the components of ν so obtained, k are respectively equal to components of a: this is thus a case of “systematic” encoding.

For example, take: q=2⁴, k=10, and n=q−1=15, i.e. m=5. Consider more particularly the Galois field in which a primitive element γ satisfies γ⁴+γ+1=0. The polynomial generator is

$\begin{matrix} {{{g(x)} = {{\prod\limits_{i = 1}^{5}\;\left( {x - \gamma^{i}} \right)} = {x^{5} + {\gamma^{7}x^{4}} + {\gamma^{2}x^{3}} + {\gamma^{5}x^{2}} + {\gamma\; x} + 1}}},} & (2) \end{matrix}$ Which divides (x¹⁵−1).

Let for example a=(γ⁴,0,γ⁷,1,0,0,0,0,0,0), corresponding to the polynomial a(x)=x ⁸+γ⁷ x ⁷+γ⁴ x ⁵. be an information sequence to be encoded.

The Euclidean division of a(x) by g(x) then respectively gives a quotient and a remainder equal to q(x)=x ³+γ² x+γ ¹² , r(x)=γx ⁴+γ⁴ x ³+γ⁶ x ²+γ¹⁴ x+γ ¹².

Finally (noting that on F₁₆, the signs + and − are equivalent), we obtain ν(x)≡x⁸+γ⁷x⁷+γ⁴x⁵+γx⁴+γ⁴x³+γ⁶x²+γ¹⁴x+γ¹², that is ν=(γ¹²,γ¹⁴,γ⁶,γ⁴,γ,γ⁴0,γ⁷,1,0,0,0,0,0,0).

If, instead, it had been desired to calculate ν by solving H·ν^(T)=0, this would have been performed working with the parity matrix

${H = \begin{bmatrix} 1 & \gamma & \gamma^{2} & \gamma^{3} & \gamma^{4} & \gamma^{5} & \gamma^{6} & \gamma^{7} & \gamma^{8} & \gamma^{9} & \gamma^{10} & \gamma^{11} & \gamma^{12} & \gamma^{13} & \gamma^{14} \\ 1 & \gamma^{2} & \gamma^{4} & \gamma^{6} & \gamma^{8} & \gamma^{10} & \gamma^{12} & \gamma^{14} & \gamma & \gamma^{3} & \gamma^{5} & \gamma^{7} & \gamma^{9} & \gamma^{11} & \gamma^{13} \\ 1 & \gamma^{3} & \gamma^{6} & \gamma^{9} & \gamma^{12} & 1 & \gamma^{3} & \gamma^{6} & \gamma^{9} & \gamma^{12} & 1 & \gamma^{3} & \gamma^{6} & \gamma^{9} & \gamma^{12} \\ 1 & \gamma^{4} & \gamma^{8} & \gamma^{12} & \gamma & \gamma^{5} & \gamma^{9} & \gamma^{13} & \gamma^{2} & \gamma^{6} & \gamma^{10} & \gamma^{14} & \gamma^{3} & \gamma^{7} & \gamma^{11} \\ 1 & \gamma^{5} & \gamma^{10} & 1 & \gamma^{5} & \gamma^{10} & 1 & \gamma^{5} & \gamma^{10} & 1 & \gamma^{5} & \gamma^{10} & 1 & \gamma^{5} & \gamma^{10} \end{bmatrix}},$ which clearly implies burdensome calculations. Thanks to this example, it can thus be seen that the Euclidean algorithm provides the codeword sought in a much less complex manner than by using the parity matrix of the code.

The present invention makes it possible to take advantage of that simplicity by judiciously adapting the Euclidean algorithm to the case of shortened codes, whatever the positions of the components of the codewords ν′ (of length n′) intended to be conserved in the shortened codewords ν (of length n). The set of these positions will be denoted s=(s ₀ ,s ₁ , . . . ,s _(n−1)), in which the integers s_(i)(0≦i≦n−1) are strictly increasing, and naturally s₀≧0, S_(n−1)≦n′−1. In the context of the invention, an “MDS” cyclic linear code, as defined above, is designated by C′ and the code obtained by shortening the code C′ is designated by C.

More particularly, the method according to the invention performs a “systematic” encoding of any information sequence a=(a₀,a₁, . . . , a_(k−1)). It comprises the following main steps.

In a first step, forming the polynomial

${a(x)} \equiv {\sum\limits_{i = m}^{n - 1}{a_{i - m}x^{s_{i}}}}$ where m≡n′−k′=n−k) on the basis of the information sequence a.

In a second step, calculating the remainder r(x) of the Euclidean division of a(x) by g(x), which is the polynomial generator of C′. As g(x) is of degree m, the degree of r(x) is at most equal to (m−1).

In a third step, calculating the polynomial

${{v^{*}(x)} = {{{a(x)} - {r(x)}} \equiv {\sum\limits_{i = 0}^{n^{\prime} - 1}{v_{i}^{*}x^{i}}}}},$ corresponding to the word ν*=(ν*₀,ν*₁, . . . , ν*_(n′−1)) belonging to C′. It should be noted that, by construction, the contribution of a(x) to ν*(x) only contains powers of x belonging to s (the smallest being greater than or equal to S_(m)).

The two main cases are then to be envisaged for the fourth step of the method according to the invention.

If the m first integers of s comprise all the successive integers from 0 to (m−1), then the contribution of r(x) to ν*(x) only contains powers of x belonging to s (the largest being less than or equal to s_(m−1)=m−1). In this case, it suffices to take ν′=ν*.

On the other hand, if there is at least one “hole” in the succession of the m first integers of s (and thus s_(m−1)>m−1, s_(m)>m, and so forth), calculation will now be made of a word ν′ satisfying:

-   -   ν′_(i)=ν*_(i) for s_(m)≦i≦n′−1 (contribution of a(x)), and     -   ν′_(i)=c_(i), in which the c_(i) are predetermined constants,         for all i<s_(m) not belonging to s, that is to say different         from s₀, s₁, . . . , s_(m−1); these values of i are thus         (s_(m)−m) in number.

It will be noted that ν*_(i)=0 for m≦i≦(s_(m)−1); but, in the case considered in which s_(m−1)>m−1, ν′_(i)=0 will not necessarily be satisfied for those indices, even when c_(i)=0. This is because, according to the invention, a word ν′ belonging to C′ is obtained by linear combination of ν* with e, where e≡s_(m)−m, judiciously chosen words Γ^(j) belonging to C′:

$\begin{matrix} {{{\underset{\_}{v}}^{\prime} = {v^{*} + {\sum\limits_{j = 0}^{e - 1}{f_{j}{\underset{\_}{\Gamma}}^{j}}}}},} & (1) \end{matrix}$ in which the coefficients f_(j) belong to F_(q). Explicitly, this means: for s _(m) ≦i≦n′−1: ν′_(i)=ν*_(i),   (1a)

$\begin{matrix} {{{{\bullet\mspace{14mu}{for}\mspace{14mu} m} \leq i < {s_{m}\text{:}\mspace{25mu} v_{i}^{\prime}}} = {\sum\limits_{j = 0}^{s_{m} - m - 1}{f_{j}\Gamma_{i}^{j}}}},{and}} & \left( {1b} \right) \\ {{{\bullet\mspace{14mu}{for}\mspace{14mu} 0} \leq i < {m\text{:}\mspace{14mu} v_{i}^{\prime}}} = {v_{i}^{*} + {\sum\limits_{j = 0}^{s_{m} - m - 1}{f_{j}{\Gamma_{i}^{j}.}}}}} & \left( {1c} \right) \end{matrix}$

The words Γ^(j) are constructed from the coefficients of

${g(x)} \equiv {\sum\limits_{p = 0}^{m - 1}{g_{p}{x^{p}.}}}$ More particularly, the words Γ^(j) are defined as follows: for j≦i≦j+m: Γ ^(j) _(i) =g _(i−j), and  (3a) −Γ^(j) _(i)=0 otherwise.  (3b) Explicitly: Γ⁰=(g ₀ ,g ₁ , . . . ,g _(m), 0, . . . ,0) Γ¹=(0,g _(0,) g ₁ , . . . ,g _(m,)0, . . . , 0). . . .

-   -   Γ^(e−1)=(0, . . . , 0, g₀, g₁, . . . , g_(m),0, . . . , 0), in         which the index of the last non-zero component is i=s_(m)−1.

The polynomial corresponding to the word Γ⁰ being identical to g(x), it is of course divisible by g(x), and Γ⁰ thus belongs to C′. The other words Γ^(j) just being circular permutations of Γ⁰, they also belong to C′.

It then only remains to find the e coefficients of f_(j) which satisfy the system of e equations concerned (in which it is stipulated that ν′_(i)=c_(i), as mentioned above) among the n′ linear equations represented by equation (1). It can be shown that, with the definitions (3a-3b), the determinant of that system is non-zero whatever said equations concerned are; this property is linked to the “MDS” character of the code C′.

The method described above will now be illustrated by means of a numerical example.

Take, for example, for code C′, the one which served above by way of example, to illustrate the Euclidean algorithm (q=2⁴, k′=10, n′=q−1=15, m=5, and g(x) given by equation (2)). It is desired to shorten it to construct a code C of dimension k=5 and length n=10; more specifically, suppose that it is wished to obtain ν′_(i)=0 for i not belonging to s=(1,2,4,5,7,8,10,11,13,14). Thus, s_(m)=8, and e=8−5=3, and the three indices in question (that is to say not belonging to s, and less than s_(m)=8) are: 0, 3 and 6. This then gives: Γ⁰=(1,γ,γ⁵,γ², γ⁷,1,0, . . . ,0) Γ¹=(0,1,γ,γ⁵,γ², γ⁷,1,0, . . . ,0), Γ²=(0,0,1,γ,γ⁵,γ²γ⁷,1,0, . . . ,0), and thus, in particular: Γ⁰ ₀=0, Γ⁰ ₃=γ², Γ⁰ ₆=0, Γ¹ ₀=0, Γ¹ ₃=γ⁵, Γ¹ ₆=1, and Γ² ₀=0, Γ² ₃=γ, Γ² ₆=γ⁷.

Let for example the following information sequence be encoded a=(γ⁹,0,γ¹¹,0,0) The following polynomial is then made to correspond to it a(x)=γ¹¹ x ¹¹+γ⁹ x ⁸, and Euclidean division by g(x) gives: q(x)=γ¹¹ x ⁶+γ³ x ⁵+γ⁹ x ⁴+γ⁶ x ³+γ¹⁴ x ²+γ¹³+γ⁸, and r(x)=γx ⁴ +γx ³+γ¹³ x ²+γ¹⁰ x+γ ⁸. Consequently, ν*(x)=γ¹¹ x ¹¹+γ⁹ x ⁸ +γx ⁴ +γx ³+γ¹³ x ²+γ¹⁰ x+γ ⁸. and thus: ν*₀=γ⁸, ν*₃=γ (naturally ν*₆=0).

Solving the 3 equations (1) then gives: f₀=γ⁸, f₁=γ², f₂=γ¹⁰.

Finally, the following is obtained: ν′=ν*+γ⁸Γ⁰+γ²Γ¹+γ¹⁰Γ²=(0,γ¹⁴γ^(12,)0,1,0,0,γ¹⁰,γ⁹,0,0,γ¹¹0,0,0).

In this embodiment, once the encoding is terminated, the encoding unit 102 transmits the “pre-encoded” words ν′ to a shortening unit 20, which deletes the components of ν′ of which the index does not belong to the set s. Thus the words ν belonging to the shortened code C are obtained.

Thus, in the numerical example which has just been considered, the following is obtained: ν=(γ¹⁴,γ¹²,1,0, γ¹⁰,γ⁹,0,γ¹¹,0,0)

It is clear, in view of the above account, that the lower the value of e, the lesser will be the calculations implied by the method according to the invention. It will now be shown how it is possible to minimize the value of e according to a refinement to the invention, for given s.

As was shown above, the value of e is linked to the existence of “holes” in a succession of m consecutive elements of s. The refinement in question thus consists of searching in s for the sequence of m consecutive elements having the least “holes”, and of bringing that sequence to the beginning of the words of the code C′, taking advantage of the cyclic character of that code.

This strategy will be better understood with the aid of a numerical example. Let us resume the example in which the polynomial generator is given by equation (2), but this time a set of predetermined positions will be considered which is given by: s=(1,4,6,7,8,9,11,12,13,14)

Here s_(m)=s₅=9, and thus the strict application of the method described above leads to forming the following polynomial from an information sequence a of length 5: a(x)=a ₀ x ⁹ +a ₁ x ¹¹ +a ₂ x ¹² +a ₃ x ¹³ +a ₄ x ¹⁴.

Euclidean division makes it possible to construct the word ν*=(−r ₀ ,−r ₁ ,−r ₂ ,−r ₃ ,−r ₄,0,0,0,0,a ₀0,a ₁ ,a ₂ ,a ₃ ,a ₄). in which it is proposed, for example, to transform the e=4 components ν*₀, ν*₂, ν*_(3,) and ν*₅ into constants which are all zero in the manner taught by the invention.

It will now be shown that there is another manner of performing the calculations, which is appreciably less complex since it leads to a lower value of e, i.e. e*=1.

Indeed, it is noted that, in s, the sequence of 5 consecutive positions 8,9,11,12,13 has only a single “hole”, i.e. position No. 10. Thus, if on all the words of code C′, a circular permutation of 8 positions to the left is performed, the initial position of that sequence, i.e. position No. 8, is brought to initial position No. 0. Overall, s is thus transformed into s*=(0,1,3,4,5,6,8,11,13,14), recalling that the positions of components are defined modulo n′=15. Thus, in s*, the sole “missing” position below s*_(m)=s*₅=6 is position No. 2, which corresponds indeed to e*=1.

In polynomial “language”, this circular permutation of 8 positions to the left corresponds to a multiplication by x⁻⁸ modulo (x¹⁵−1). Now make the following polynomial correspond to the information sequence a: a(x)=a ₀ x+a ₁ x ⁴ +a ₂ x ⁶ +a ₃ x ⁷ +a ₄ x ¹⁴. and define a*(x)≡x⁻⁸a(x)=a₄x⁶+a₀x⁸+a₁x¹¹+a₂x¹³+a₃x¹⁴.

The Euclidean division of a*(x) by g(x) then gives a remainder r*(x)=r* ₄ x ⁴ +r* ₃ x ³ +r* ₂ x ² +r* ₁ x+r* ₀. It is thereby deduced that ν*(x)≡a*(x)−r*(x), hence ν*=(−r* ₀ ,−r* ₁ ,−r* ₂,−r*₃,−r*₄,0,a ₄,0,a ₀,0,0,a ₁,0,a ₂ ,a ₃).

In this word ν*, solely the component ν*₂=−r*₂ is both non-zero (in general) and absent from s*. The technique taught according to the invention is next implemented, now with e*=1, to deduce from ν* a codeword ν′ having ν′₂=0.

It remains nevertheless to apply a circular permutation of 8 positions to the components of this word ν′, this time to the right, to get back to the positions prescribed by s. In this way a word of C′ is obtained which is the final result of the encoding according to the invention of the information sequence a.

The words ν issuing from the shortening unit 20 are finally transmitted by the transmission unit 103 to a predetermined recipient. This recipient may for example form part of a complex encoding system (for example relying on a multiplicity of shortened Reed-Solomon codes). This recipient may, according to another example, be a transmission chain comprising a modulator, which associates a modulation symbol with each predetermined number of binary symbols (bits), followed by a recorder or else (respectively) by a transmitter inserting the symbols in a transmission channel, that channel for example able to be a storage on a suitable carrier (such as a DVD, or a magnetic or magnetico-optical disc, or else magnetic tape), or (respectively) transmission by wire or wireless transmission (such as a radio link).

The block diagram of FIG. 2 represents, very schematically, a data processing apparatus 48 incorporating the encoder 102.

This apparatus 48 comprises a keyboard 911, a screen 909, a source of external information 100, a transmitter 103, conjointly connected to input/output ports 903 of an encoding device 102 which is implemented here in the form of a logic unit.

The encoding device 102 comprises, connected together by an address and data bus 902:

-   -   a central processing unit 900,     -   a random access memory RAM 904,     -   a read only memory 905, and     -   said input/output ports 903.

Each of the elements illustrated in FIG. 2 is well known to a person skilled in the art of microcomputers and transmission systems and, more generally, of information processing systems. These known elements are therefore not described here. It should be noted, however, that:

-   -   the information source 100 could, for example, be an interface         peripheral, a sensor, a demodulator, an external memory or other         information processing system (not shown), and could for example         supply sequences of signals representing speech, service         messages or multimedia data in particular of IP or ATM type, in         the form of sequences of binary data, and     -   the transmitter 103 is adapted to transmit the words belonging         to code C, for example to a unit belonging to a complex encoding         system, or to a device for sending on a radio channel or for         recording on a carrier for mass storage.

The random access memory 904 stores data, variables and intermediate processing results, in memory registers bearing, in the description, the same names as the data whose values they store. It should be noted, in passing, that the word “register” designates, throughout the present description, a memory area of low capacity (a few items of binary data) and equally well a memory area of high capacity (for storing a complete program) within a random access memory or read only memory.

The random access memory 904 contains in particular the following registers:

-   -   a register “information_symbols” in which the information         symbols belonging to F_(q) are stored,     -   a register “pre_encoded_words”, in which the words ν′ belonging         to the non-shortened code are stored, and     -   a register “code_words”, in which the words ν belonging to the         shortened code are stored, before being submitted to the         transmitter 103.

The read only memory 905 is adapted to store, in registers which, for convenience, have the same names as the data which they store:

the operating program of the central processing unit 900, in a register “program”,

-   -   the length n′ of the words belonging to the non-shortened code,         in a register “n′”,     -   the length n of the words belonging to the shortened code, in a         register “n ”,     -   the set s of the positions of the components to keep after         shortening, in a register “s”,     -   the cardinal of the Galois field F_(q) serving as alphabet for         the code used, in a register “q”,     -   the number k=n−m of information symbols serving to construct a         codeword, in a register “k”, and     -   the coefficients of the polynomial generator g(x) of the         non-shortened code, in a register “g”. 

1. A method of encoding over a Galois field F_(q), where q is an integer greater than 2 and equal to a power of a prime number, in which a word v′=(v′₀,v′₁, . . . , v′_(n′−1)) is calculated, where n′≧3, belonging to an MDS linear cyclic code C′ of dimension (n′−m), where 1≦m≦n′−2, on the basis of a word a=(a₀, a₁, . . . , a_(n−m−1)) of information symbols, where m<n<n′, in which a set s=(s₀,s₁, . . . , s_(n−1)) of strictly increasing integers, with s₀≧0 and s_(n−1)≦n′−1, having been predetermined, the method comprising the steps of: a) forming the polynomial ${{a(x)} \equiv {\sum\limits_{i = m}^{n - 1}{a_{i - m}x^{s_{i}}}}},$ b) calculating the remainder r(x) of the Euclidean division of a(x) by the polynomial ${g(x)} \equiv {\sum\limits_{p = 0}^{m}{g_{p}x^{p}}}$ generating said code C′, c) calculating the polynomial ${{v^{*}(x)} = {{{a(x)} - {r(x)}} \equiv {\sum\limits_{i = 0}^{n^{\prime} - 1}{v_{i}^{*}x^{i}}}}},$ corresponding to the word v*=(v*₀, v*₁, . . . , v*_(n′−1)), and d) taking v′=v* if s_(m−1)=m−1; otherwise obtaining said word v′ by taking: $\begin{matrix} {{\underset{\_}{v}}^{\prime} = {v^{*} + {\sum\limits_{j = 0}^{s_{m} - m - 1}{f_{j}{\underset{\_}{\Gamma}}^{j}}}}} & (1) \end{matrix}$ in which the words Γ^(j) of length n′ are defined by: Γ^(j) _(i)=g_(i−j) for j≦i≦j+m, and Γ^(j) _(i)=0 otherwise, and in which the elements f_(j) of F_(q) are calculated by means of the equations (1) in which, for the (s_(m)−m) values of i<s_(m) not belonging to the set s, each component v′_(i); is taken equal to a respective predetermined constant.
 2. An encoding method according to claim 1, further comprising the step of deleting said components of predetermined value from v′, so as to form a word v of length n.
 3. A method of encoding over a Galois field F_(q), where q is an integer greater than 2 and equal to a power of a prime number, in which a word v′=(v′₀, v′₁, . . . , v′_(n′−)) is calculated, where n′≧3, belonging to an MDS linear cyclic code C′ of dimension (n′−m), where 1≦m≦n′−2, on the basis of a word a=(a₀, ₁, . . . , a_(n−m−1)) of information symbols, where m<n<n′, in which a set s=(s₀, s₁, . . . , s_(n−1)) of strictly increasing integers, with s₀≧0 and s_(n−1)≦n′−1, and a non-singular diagonal matrix B of dimension n having been predetermined, the method comprising the steps of: constructing, on the basis of the information symbols, the polynomial ${{a^{B}(x)} \equiv {\sum\limits_{i = m}^{n - 1}{a_{i - m}\beta_{s_{i}}^{- 1}x^{s_{i}}}}},$ where β_(i) is the element of B in position (i, i), implementing steps b), c) and d) of the method according to claim 1, by replacing a(x) with a^(B)(x), which gives a word v′^(B), deleting the components of predetermined value from v′^(B), which gives a word v^(B)=(v^(B)0, v^(B)1, . . . , v^(B) _(n−1)), and calculating the word v=(v₀, v₁, . . . , v_(n−1)) defined by: v_(i)=v^(B)iβi for all i from 0 to (n−1).
 4. An encoding method according to any one of the preceding claims, in which n′ is equal to (q−1) or is a divisor of (q−1), and ${{g(x)} = {\prod\limits_{i = 1}^{m}\;\left( {x - \alpha^{i}} \right)}},$ where α is an element of F_(q) satisfying α^(n′)=1.
 5. A method of encoding for algebraic geometric codes, comprising at least one step in which codewords belonging to a shortened MDS linear cyclic code are calculated, in which the calculation is performed by means of an encoding method according to any one of claims 1 to
 3. 6. A device (102) for encoding over a Galois field F_(q), where q is an integer greater than 2 and equal to a power of a prime number, in which a word v′=(v′₀, v′₁, . . . , v_(n′−1)) is calculated, where n′≧3, belonging to an “MDS” linear cyclic code C′ of dimension (n′−m), where 1≦m≦n′−2, on the basis of a word a=(a₀, a₁, . . . , a_(n−m−1)) of information symbols, where m<n<n′, characterized in that, a set s=(s₀,s₁, . . . , s_(n−1)) of strictly increasing integers, with s₀≧0 and s_(n−1)≦n′−1, having been predetermined, it is adapted to: a) form the polynomial ${{a(x)} \equiv {\sum\limits_{i = m}^{n - 1}{a_{i - m}x^{s_{i}}}}},$ b) calculate the remainder r(x) of the Euclidean division of a(x) by the polynomial ${g(x)} \equiv {\sum\limits_{p = 0}^{m}{g_{p}x^{p}}}$ generating said code C′, c) calculate the polynomial ${{v^{*}(x)} = {{{a(x)} - {r(x)}} \equiv {\sum\limits_{i = 0}^{n^{\prime} - 1}{v_{i}^{*}x^{i}}}}},$ corresponding to the word v*=(v*₀, v*₁, . . . , v*_(n′−1)), and d) take v′=v* if s_(m−i)=m−1; otherwise to obtain said word v′ by taking: $\begin{matrix} {\;{{{\underset{\_}{v}}^{\prime} = {{\underset{\_}{v}}^{*} + {\sum\limits_{j = 0}^{s_{m} - m - 1}{f_{j}{\underset{\_}{\Gamma}}^{j}}}}},}} & (1) \end{matrix}$ in which the words Γ^(j) of length n′ are defined by: Γ^(j) _(i)=g_(i−j) for j≦i≦j+m, and Γ^(j) _(i)=0 otherwise, and in which the elements f_(j) of F_(q) are calculated by means of the equations (1) in which, for the (s_(m)−m) values of i<s_(m) not belonging to the set s, each component v′_(i) is taken equal to a respective predetermined constant.
 7. An encoding method according to claim 6, characterized in that n′ is equal to (q−1) or is a divisor of (q−1), and in that ${{g(x)} = {\prod\limits_{i = 1}^{m}\;\left( {x - \alpha^{i}} \right)}},$ where α is an element of F_(q) satisfying α^(n′)=1.
 8. An apparatus for processing data comprising a source of information symbols, comprising: a storage unit adapted to accumulate the symbols so as to form codewords a each containing a predetermined number k of symbols, an encoding device according to claim 6 or claim 7, and a transmitter adapted to transmit the words v′ resulting from the encoding of the information symbols.
 9. An apparatus for processing data comprising a source of information symbols, comprising: a storage unit adapted to accumulate the symbols so as to form codewords a each containing a predetermined number k of symbols, an encoding device according to claim 6 or claim 7, a shortening unit adapted to delete said components of predetermined value from v′, so as to form a word v of length n , and a transmitter adapted to transmit the words v resulting from the encoding of the information symbols.
 10. A non-removable data storage means, comprising computer program code instructions for the execution of the steps of an encoding method according to any one of claims 1 to
 3. 11. A partially or wholly removable data storage means, comprising computer program code instructions for the execution of the steps of an encoding method according to any one of claims 1 to
 3. 12. A computer program, containing instructions such that, when said program controls a programmable data processing device, said instructions lead to said data processing device implementing an encoding method according to any one of claims 1 to
 3. 13. A method of encoding information by means of a given code shortened in at least one predetermined position, comprising the steps of: dividing a first polynomial representing information symbols by a generator polynomial so as to obtain a remainder polynomial; calculating a second polynomial by subtracting the remainder polynomial from the first polynomial; generating a pre-encoded word belonging to the given code from a sequence of coefficients of the second polynomial, so that the component of the pre-encoded word in the at least one predetermined position has a respective predetermined value; and generating an encoded word by removing from the pre-encoded word the component in the at least one predetermined position.
 14. A method of encoding for algebraic geometric codes, comprising at least one step in which codewords belonging to a shortened code are calculated, in which the calculation of the codewords belonging to the shortened code is performed by using an encoding method according to claim
 13. 15. A device for encoding information by means of a given code shortened in at least one predetermined position, comprising: means for dividing a first polynomial representing information symbols by a generator polynomial so as to obtain a remainder polynomial; means for calculating a second polynomial by subtracting the remainder polynomial from the first polynomial; means for generating a pre-encoded word belonging to the given code from a sequence of coefficients of the second polynomial, so that the component of the pre-encoded word in the at least one predetermined position has a respective predetermined value; and means for generating an encoded word by removing from the pre-encoded word the component in the at least one predetermined position.
 16. Information storage medium which can be read by a computer or a microprocessor storing instructions of a computer program for implementing a coding method according to any one of claims 13 and
 14. 17. Information storage medium according to claim 16, in which said storage medium is partially or totally removable.
 18. Computer program product comprising sequences of instructions for implementing a coding method according to any of claims 13 and
 14. 